Tootfinder

I think following specific hashtags of a profile would be useful. Technically it's like following a profile but the timeline posts filtered by specific hashtags. Perhaps similar logic on Mastodon, to hiding boosts from profile or filtering posts by subscribed languages.
Could probably solve the issue where folks create multiple accounts for different interests or circles.
#SocialMedia

This https://arxiv.org/abs/2402.15021 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCV_…

CLoVe: Encoding Compositional Language in Contrastive Vision-Language Models
Recent years have witnessed a significant increase in the performance of Vision and Language tasks. Foundational Vision-Language Models (VLMs), such as CLIP, have been leveraged in multiple settings and demonstrated remarkable performance across several tasks. Such models excel at object-centric recognition yet learn text representations that seem invariant to word order, failing to compose known concepts in novel ways. However, no evidence exists that any VLM, including large-scale single-stre…

Sound Borrow-Checking for Rust via Symbolic Semantics
Son Ho, Aymeric Fromherz, Jonathan Protzenko
https://arxiv.org/abs/2404.02680 https://

Sound Borrow-Checking for Rust via Symbolic Semantics
The Rust programming language continues to rise in popularity, and as such, warrants the close attention of the programming languages community. In this work, we present a new foundational contribution towards the theoretical understanding of Rust's semantics. We prove that LLBC, a high-level, borrow-centric model previously proposed for Rust's semantics and execution, is sound with regards to a low-level pointer-based language à la CompCert. Specifically, we prove the following: that LLBC is …

"Trump is telling the same lies that every wave of migrants who came to the United States has always been subjected to," he said. "When the Jews came, when the Germans came, when the Italians came. Irish. We were told the same thing, lose our culture, lose our language, drive down wages, and the crime will go up. And exactly the opposite has happened."
'It's a loser': Republican strategist torches Trump's latest 'inhumane' argument - Raw Stor…

'It's a loser': Republican strategist torches Trump's latest 'inhumane' argument
Longtime Republican strategist Rick Tyler slammed former President Donald Trump's anti-immigrant vision for the future in an MSNBC panel on Wednesday, following a political event in Michigan the previous day in which Trump warned that immigrants would invade people's houses if he's not elected.In pa...

I think following specific hashtags of a profile would be useful. Technically it's like following a profile but the timeline posts filtered by specific hashtags. Perhaps similar logic on Mastodon, to hiding boosts from profile or filtering posts by subscribed languages.
Could probably solve the issue where folks create multiple accounts for different interests or circles.
#SocialMedia

"""
Predictive processing also sheds considerable light on a wide range of typical and atypical forms of human experience. A good starting point is to notice that there are two very broad ways for such processing to go wrong. The first is for the brain to underweight predictions and expectations. This will make it hard to detect faint but predictable patterns in a noisy or ambiguous environment. But the second general way to go wrong is for the brain to overweight expectations. In extreme cases, overweighting results in hallucinations. You seem to see and hear things that aren't there, just because […] they are at some level strongly expected.
Autism spectrum condition was initially thought to reflect a specific imbalance of the first kind — a systematic underweighting of prior expectations. […] Underweighting prior knowledge would make weak or elusive patterns hard to detect, and hard to learn too. Such patterns would include things like facial expressions, intonation, or body language, things that delicately hint, in context, at other people's mental states and attitudes. An imbalance of that kind would also make it very hard to learn these patterns in the first place, and even harder to recognize them in situations that are complicated or ambiguous. Recent evidence casts subtle doubt, however, on this bald initial hypothesis. Rather than weakened predictions, intriguing evidence is emerging that suggests that the core issue involves (not underweighting knowledge-based predictions but) actively overweighting the incoming sensory evidence.
[…]
She doesn't just feel "hunger," instead the more fine-grained specifics of the bodily signals dominate. You are feeling a whole lot of something — but what is it? According to the overweighted sensory information theory, autism spectrum condition individuals constantly encounter an excess of highly detailed and apparently very salient sensory information of this kind, coming from both inside their own body and the outside world. This sensory excess impedes the moment-by-moment identification of the broader context or scenario (in this case, hunger). In other words, the emphasis on every aspect of sensory detail effectively makes it impossible to spot the larger forest for the trees.
"""
(Andy Clark, The Experience Machine: How Our Minds Predict and Shape Reality)
#ActuallyAutistic

This https://arxiv.org/abs/2402.15852 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCV_…

NaVid: Video-based VLM Plans the Next Step for Vision-and-Language Navigation
Vision-and-Language Navigation (VLN) stands as a key research problem of Embodied AI, aiming at enabling agents to navigate in unseen environments following linguistic instructions. In this field, generalization is a long-standing challenge, either to out-of-distribution scenes or from Sim to Real. In this paper, we propose NaVid, a video-based large vision language model (VLM), to mitigate such a generalization gap. NaVid makes the first endeavour to showcase the capability of VLMs to achieve …

Hierarchical Indexing for Retrieval-Augmented Opinion Summarization
Tom Hosking, Hao Tang, Mirella Lapata
https://arxiv.org/abs/2403.00435 https://<…

Hierarchical Indexing for Retrieval-Augmented Opinion Summarization
We propose a method for unsupervised abstractive opinion summarization, that combines the attributability and scalability of extractive approaches with the coherence and fluency of Large Language Models (LLMs). Our method, HIRO, learns an index structure that maps sentences to a path through a semantically organized discrete hierarchy. At inference time, we populate the index and use it to identify and retrieve clusters of sentences containing popular opinions from input reviews. Then, we use a…

"Trump is telling the same lies that every wave of migrants who came to the United States has always been subjected to," he said. "When the Jews came, when the Germans came, when the Italians came. Irish. We were told the same thing, lose our culture, lose our language, drive down wages, and the crime will go up. And exactly the opposite has happened."
'It's a loser': Republican strategist torches Trump's latest 'inhumane' argument - Raw Stor…

'It's a loser': Republican strategist torches Trump's latest 'inhumane' argument
Longtime Republican strategist Rick Tyler slammed former President Donald Trump's anti-immigrant vision for the future in an MSNBC panel on Wednesday, following a political event in Michigan the previous day in which Trump warned that immigrants would invade people's houses if he's not elected.In pa...

According to police, Tyler Vogel, 26 of Lancaster NY, sent a text message to New York Attorney General #Letitia #James, saying he would use🔸 “death and physical harm 🔸if she did not comply with his requests to cease action” against Donald Trump,
specifically, the seizure of his assets and properties following New Yor…

'Mark my words I will kill you': Man threatened judge, NY AG in Trump fraud case, cops say
As one judge worried that Donald Trump's rhetoric would inspire threats against court officials, a man was arrested in New York for vowing to kill Attorney General Letitia James and a judge.